<?
/*
 * Esta función devuelve la fecha de actualización de la página que se está mostrando.
 * Busca la ruta donde está el archivo y mira su fecha de modificación.
 */
function actualizacion() {
  $pagina0 = opcion_numero();
  $rutacompleta = ereg_replace('/index\.php', '/html/contenidos/'.$pagina0.'.php', $_SERVER['SCRIPT_FILENAME']);

  $actual = filemtime($rutacompleta);

  return $actual;
}
